logical assertion造句

A sequent of this form, with ? empty, is known as a logical assertion.
It is a logical assertion that is held to always be true during a certain phase of execution.
A significant achievement was pioneering the field of program verification using logical assertions with the 1967 paper " Assigning Meanings to Programs ".
This isn't even a logical assertion, it's an opinion . talk ) 03 : 06, 4 March 2013 ( UTC)
It belies the logical assertion of the Principle of Bivalence and stands in contrast to some rigid Biblical hermeneutics that suggest that each passage of scripture has only one, usually teleological, interpretation.
It's difficult to find logical assertion in a sentence. 用logical assertion造句挺难的

Similarities between the two documents include the citation of the authority of the framers and the strong reference to logical assertion of sovereignty, a common theme in populist political thought in New Zealand.
Therefore, systems based on functional languages such as Lisp need to include a subsystem to represent logical assertions, while logic-oriented systems such as those using the language Prolog generally rely on an extension of the built-in logical representation framework.
Reification involves the representation of factual assertions that are referred to by " other " assertions, which might then be manipulated in some way; e . g ., comparing logical assertions from different witnesses in order to determine their credibility.